Nuprl Definition : Raframe 0,22
@loc: k writes only members of L == inr(inr(inr(inr(inr(inr(inr(inr(inl(<loc,k,L>))))))))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesRaframe

origin